module Test.Double.Type where

type Number_ = Double