export const binary16: string;