I'd translate it as ten before half five, but apart from that, yeah that's 4:20 (inclusive or 16:20).

I think in the UK they use half five as 5:30? Half past five basically. In NL it's half way towards five, maybe the Dutch are forward looking?