Split precise.tex into multiple sections.
Merge with master.