Fix html docs for Int64 - needs to scan for more instances of this
Fix #356: documentation problems in BatLazyList