define the construct for fraction type