Simple tests to check floating point division.