The space computation for hexfp was overovershooting.