ntdfa: Fix 32b systems constant overflow