export const binary32: string;