Yet another fix to mkAtomicArgs (for floating of casts)