Tackling number (non)auto-boxing