float __rintnf(float val);
__rintnf inserts a VRINTN.F32 instruction. Returns the rounded integer value of val.