Computable numbers | Bourbaki 2.0 | ObservableComputable numbers | Bourbaki 2.0 | Observable