The king and all the people with him finally arrived ⌊at their destination⌋ and rested there.