Up to isomorphism, natural integers are finite types.

Relative numbers are additive type modifiers, as in -42 means "remove 42 elements".

What then is a fractional type?

Well, up to isomorphism, -2/7 is a type that says "but not on the weekend".