Precise behavior of type inference around integers and decimals has changed with agate refactor

Created by: onyxfish

Need to make sure docs reflect this. (Principles section is def wrong.)