higher bound for the
integer part a float float
___