higher bound for the

integer is a float float

value float plus floor✕