Add Int64.ofFloat.