used uvalueMInt instead of svalueMInt since only uvalueMInt can be hooked to bv2int