Tests for safeInt