export type byte = number;
export type int8_t = number;
export type int16_t = number;
export type int32_t = number;
export type int64_t = number; // TODO(danny): use Long type here, this is a loss of precision

export type uint8_t = number;
export type uint16_t = number;
export type uint32_t = number;
export type uint64_t = number; // TODO(danny): use Long type here, this is a loss of precision

export type float = number;
export type double = number;
