documentation, also auto string to number casting