Papers tagged floating point arithmetic