Christoph Hertzberg 6ed74ac97c digits10() needs to return an integer
Problem reported on https://stackoverflow.com/questions/56395899
(grafted from 56144005811e3e5a76031ba0aac8a4e1fa3e3396
)
2019-05-31 15:45:41 +02:00
..
2017-06-11 15:30:36 +02:00
2019-03-12 13:54:24 +01:00
2018-11-09 13:52:34 +01:00
2016-07-26 12:12:53 +02:00
2016-07-26 23:51:43 +02:00
2016-08-02 23:32:41 +02:00
2008-11-24 13:40:43 +00:00
2016-04-11 10:54:58 +02:00
2017-08-17 22:12:26 +02:00