Which sign is appropriate in the blank below? 12.58 ____ 12.580 ​