Add double? for typechecking