fix #7829 (test for 7810 on 32-bit)