export type float = number;
export type integer = number;