objfloat: Try to achieve the same float printing format as CPython does.

Test usecase I used is print(time.time()) and print(time.time() - time.time()).
On Linux/Glibc they now give the same output as CPython 3.3. Specifically,
time.time() gives non-exponential output with 7 decimal digits, and subtraction
gives exponential output e-06/e-07.
sequence: Fix glaring bug in sequence comparison.
sequence: Further simplify sequence comparison.