Use casting to pick the right int size, improves readability.