fixed floatx casts