Added fint_floor function, which takes the "floor" of a float that is supposed to be an fint within the context of fint-space.