Hemmik Ik heb het probleem gevonden, en ook een oplossing.
Het probleem komt doordat Siri intern floating point getallen gebruikt voor decimals, bijv 96 - 91,10 wordt 4,9000001 in siri :(
Oplossing is om een Round() operatie na het rekenen toe te voegen:
Ik zal zorgen dat de app dit vanaf een toekomstige versie automatisch gaat doen voor Siri shortcuts