export class Double extends Number {
}