High precision function check: