higher bound for the
integer part in float float
float float float ___