Interesting then that OpenRouter[1] tags many providers as FP8 and DeepInfra as FP4.
1. https://openrouter.ai/deepseek/deepseek-v4-pro
alt Hacker News