{-# OPTIONS --safe --without-K #-}

module Literals.Number where

open import Agda.Builtin.FromNat public

open Number ⦃ ... ⦄ public