TeX source:
= -4.25