HEAD is now at 825d07d Revert "Follow-on patch to r197595 to complete the replacement of truncating divides"
Signed-off-by: Paul Beeler <sparksco@gmail.com>