Loosely matching rhymes for floating-point arithmetic