[runtime] add : float_of_string "0x1p6"