ziggurat: use explicit kind when using the real function