modrem_kernel
return modrem_kernel(dest, src, FPCR_ROUND_RZ);
return modrem_kernel(dest, src, FPCR_ROUND_RN);