module Data.Real.Gauge where

import Data.Rational
open Data.Rational using (Rational)

Gauge = Rational