A floating-point arithmetic