IEEE Number Formats for AI Computing • Libertify