export const doubleFloat16: string;