Integers coming from site settings needs casting to int to avoid returning values higher than PHP_INT_MAX.