Computable_number loading ...