How to cast u64 to u256 in sway?

Couldn’t find a way to do this

1_u64.to_u256()
Should work

See more methods here sway/sway-lib-core/src/primitive_conversions.sw at master · FuelLabs/sway · GitHub