Great Granddad's hat! I'm helping my in-laws finally move some things along. Father-in-law calls this a fedora, which is why I'm here! I've googled the number in the brim but nothing so far. I'd like to know what the proper name of this hat is so I can get it moving along to a new home with someone who will appreciate and / or wear it. Oh, and also: is this sort of hat meant to be worn as it, or does the wearer smoosh the top into the shape they like? Just curious. Thanks!