Clarified that floor() and ceil() return reals. Same for the integer part returned by modf(). Some markup consistency changes.