Document floating-point arithmetic