Yes, thats my intuition as well. But shouldnt it work if pymc is using 64 bit precision? Works with stan.