math: add readme about ulp check tool