document assumptions about hardware floating-point arithmetic