No, it’s just the right size (for my hands, anyway) that I can easily and very quickly type with the left hand. While the number key configuration looks a bit odd, it is actually perfect to use this way, and the right hand can be used for the occasional complex chord like Ctrl+Alt+(Fn+F12).
I really like this little machine. It has a plethora of ports, including several USB-A, USB-C, built-in micro-SD reader, and even RS-232 serial (!). The battery lasts ages, it’s fully supported by everything Linux, and it’s fast enough to record audio while routing MIDI with essentially no latency. Because of limitations of my audio interface, I actually use software monitoring (I don’t get stereo without it) and the latency isn’t noticeable without a side-by-side comparison.