export const doubleFloat32: string;