三角関数の近似多項式は有理係数だから、引数が有理数なら打切り誤差以外は完全0で、関数値の有理数近似が求まるよ。