fix #6419 (integer division under lldb)