Constant F_IN_RANGE_FLOAT8_FLOAT8_FLOAT8_BOOL_BOOL

pub const F_IN_RANGE_FLOAT8_FLOAT8_FLOAT8_BOOL_BOOL: u32 = 4139;