InputOutput: replace nullptr with boost::none in Double()