floating-point algebra