Use literal_float and literal_int in a few more places.