Use =int(5.0000001)+1