Fixpoint data types
