Fix low precision leaks
Merge branch 'master' of https://github.com/ghwatson/casini_corners

Accidentally diverged local and remote heads.