Type clarity and sign distinction in numeric types