TeX source:
64.8025-64=0.8025