-- | Real attribute constructor.
a_real :: String -> Attribute
a_real a = Attribute (RealAttribute (putReal a)) a
a_real :: String -> Attribute
a_real a = Attribute (RealAttribute (putReal a)) a
a_real a = Attribute (RealAttribute (putReal a)) a