How to get the default category ID in WordPress

Damn it, Google, it isn’t that hard!

<?php get_option('default_category'); ?>