[saxon] cast decimal to integer


Thread view