ntdfa: Fix 32b systems constant overflow II.