add conversions between float and int128 types