cfuerst/formal-numbers.git cfuerst