Integer -> Int (for Helium)