numbers Experiments with numeric types encoded as quotient types. Dependencies: quotient cubical agda-stdlib