int value type will be used in place of Int when p...

# getting-started

[dathoang.se]

int value type will be used in place of Int when possible, otherwise Integer will be used. I think.