Add tests for floating point remainder elimination