Another fix for numerics/hex