Golius, Jacobus, Dutch orientalist and mathematician