This patch resolve TODO written in commit: 5909c67883 Proof: https://alive2.llvm.org/ce/z/C3VNoR
5909c67883
nneg
uitofp