What are the comparative and superlative of the adjective “fun”? I’d say “more fun” and “most fun”…

But I’m somehow slightly tempted by “funnier” and “funniest”, which should be for “funny” though, not “fun”…

I didn’t find anything about this in the main dictionaries.