Tag floating-point arithmetic