Specs for coercing BasicObject to Integer