と思ったら、自分でやったらTRUEになりました！(°Д°) 倍精度だからかな？結構細かい単位までは誤差が出にくいみたいです。