The type parameter passed into lower is invalid and should be removed from the function.
The s64 case currently crashes, so leave that for later.