Theorem: Floating.val_ofUInt8 (Ray/Render/Color.lean)

State before:
α β : Type
v : UInt8
up : Bool
⊢ 2 ^ 8 < 2 ^ 63
Tactic:
norm_num
State after:
no goals