Extending to fractional types | Introduction