double __rintn(double val);
__rintn inserts a VRINTN.F64 instruction. Returns the rounded integer value of val.