Commit to Double for the default in realToInteger