3 ms·Ah good point. I was forgetting that implicit conversion from double to int is defined.by foldr 5y agoAh good point. I was forgetting that implicit conversion from double to int is defined.