How they were obtained: Checked here against ball arithmetic at 4000 bits, which covers every stored digit rather than the first hundred: all three entries agree to within one unit in the last place of the 300 digits held. The values are algebraic, so any number of further digits can be had on demand.