Symbol: fp_dyadic_check