Add IEEE 754 test case