[1.23456789, 1.0, 1.0000000000000002]