Replace INT64_MIN

Review 523 by @srh