data Log a

class Precise a

sum