/** An integral number. */
export type Integer = number