module CORAL::Hexfloat0