Tag: floating point arithmetic on multiplication