More precise value types