max denominator 9 always round down This page last changed Jul 22 2025; created Jul 21 2025; source on GitHub;