How to get jpeg size

Google AI suggested jpegdec.get_info() but that threw an error.

The jpegdec MicroPython bindings suggest that get_width() and get_height() might be a thing?

I personally use Image Size Info Chrome Extensions for get jpeg size here you can just right-click an image and see width × height + file size.