higher bound for the
integer floor function a
float ___