Svag matchende rim for floating-point arithmetic