Symbol: float_set_inexact