Jakub Wilk wrote: > This looks like bug #695596. Yes. Thanks for correcting this. Yannick -- Between infinite and short there is a big difference. -- G. H. Gonnet