`load_constant` function in `UInt32` currently loads a `u128` instead of a `u32`
Ethan-000 opened this issue · 0 comments
Ethan-000 commented
Problem
Currently load_constant
function in UInt32
currently loads a u128
instead of a u32
and treates it as u32
because we only deal with u32
s at the moment expect one edge case where we need 2^32
which does not fit in u32
This might be related to #417
Happy Case
This edge case described above can be properly dealt with
Alternatives Considered
No response
Additional Context
No response
Would you like to submit a PR for this Issue?
Maybe
Support Needs
No response