vminfp/vmaxfp