[saxon] casting double to integer


Thread view