There is no documentation for function 'double'