const f16_max = @compileError("Deprecated: use `floatMax(f16)` instead");