Some simple type promotion