https://github.com/jgrant27/jngmisc/tree/master/rust/machin-pi