.cloud has been a TLD since 2015, there's nothing special about them and they're not expensive compared to other TLDs. I would retry or attempt using a different registrar's search whom also supports the .cloud domain.