pub const ENCODING_ENC_FCVTPU_64H_FLOAT2INT: ENCODING = 410;