workaround for global Double precision